Nuprl Definition : in-interface
11,40
postcript
pdf
in-interface(
es
;
X
;
e
) == <loc(
e
), kind(
e
)>
dom(
X
)
latex
clarification:
in-interface(
es
;
X
;
e
) == fpf-dom(locknd-deq(); <es-loc(
es
;
e
), es-kind(
es
;
e
)>;
X
)
latex
Definitions
x
dom(
f
)
,
locknd-deq()
,
<
a
,
b
>
,
loc(
e
)
,
kind(
e
)
FDL editor aliases
in-interface
origin
dom(X)
dom(X)
dom(f)